(from the article `applied logic`) ... = ~ ~ . Several nonequivalent systems have been developed by the conceptual pragmatist C.I. Lewis (1883–1964), primary author of Symbolic Logic ...
[n] - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
mathematical logic noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules. Also called